Search results for "Automated reasoning"
showing 3 items of 3 documents
Artificial intelligence techniques for cancer treatment planning
1988
An artificial intelligence system, NEWCHEM, for the development of new oncology therapies is described. This system takes into account the most recent advances in molecular and cellular biology and in cell-drug interaction, and aims to guide experimentation in the design of new optimal protocols. Further work is being carried out, aimed to embody in the system all the basic knowledge of biology, physiopathology and pharmacology, to reason qualitatively from first principles so as to be able to suggest cancer therapies.
Introducing automated reasoning in network management
2004
This paper proposes the adoption of Artificial Intelligence techniques in the field of network management and moni toring. In order to allow automated reasoning on network ing topics, we constructed an accurate ontological model capable of fitting as more as possible networking concepts. The thoroughly representation of the domain knowledge is used by a Logical Reasoner, which is an expert system ca pable of performing management tasks typically executed by human experts. The Logical Reasoner is integrated in a distributed multi-agent architecture for network manage ment, which exploits the dynamic reasoning capabilities of the Situation Calculus formalism to provide a powerful sys tem capa…
A Dynamic Reasoning Architecture for Computer Network Management
2005
This paper focuses on improving network management and monitoring by the adoption of Artificial Intelli- gence techniques. In order to allow automated reasoning on networking concepts, we defined an accurate ontologi- cal model capable of describing as better as possible the networking domain. The thorough representation of the do- main knowledge is used by a Logical Reasoner, which is an expert system capable of performing high-level manage- ment tasks.